Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
921	Product: Prepared: FebruaryGetting started Add to Reading List Source URL: www.psma.com.au Language: English - Date: 2016-02-25 18:36:29 Database theory Database Data model Relational database
922	Microsoft Word - Past Programs2.doc Add to Reading List Source URL: www.taoschambermusicgroup.org Language: English - Date: 2009-07-24 14:33:07 FO Finite model theory
923	A Model of Focusing in Economic Choice∗ Botond K˝oszegi UC-Berkeley Adam Szeidl UC-Berkeley, NBER, CEPR Add to Reading List Source URL: www.personal.ceu.hu Language: English - Date: 2012-09-20 16:04:48 Decision theory Daniel Kahneman Intertemporal choice Preference Rational choice theory Utility Choice Economics Prospect theory Framing Economic model Behavioral economics
924	ARTIFICIAL INTELLIGENCE 71 Probabilistic Logic* Nils J . N i l s s o n Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:27:03 Model theory Non-classical logic Probability and statistics Boolean algebra Predicate logic Probabilistic logic Modal logic First-order logic Probability Interpretation Inductive probability Vector logic
925	699 Documenta Math. Thom Spectra that Are Symmetric Spectra Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-12-31 04:42:00 Homotopy theory Spectrum Model category Homotopy Thom space Fibration Adjoint functors Classifying space Functor Stable homotopy theory Highly structured ring spectrum Homotopy category
926	Energetic Natural Gradient Descent Add to Reading List Source URL: psthomas.com Language: English - Date: 2016-05-26 17:40:03 Estimation theory Statistical theory Parametric model Loss function Fisher information Expectationmaximization algorithm Divergence Likelihood function Gradient descent
927	Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-03-16 15:35:01 Model theory Logic Predicate logic Quantification Skolem normal form Inverse trigonometric functions Quantifier Surjective function Unification Herbrandization First-order logic
928	1 Preprint of paper to appear at ECCV 2010 2 Add to Reading List Source URL: vast.uccs.edu Language: English - Date: 2010-10-23 12:03:49 Probability distributions Robust statistics Survival analysis Actuarial science Statistical theory Normalization Shape parameter Weibull distribution Normal distribution Mixture model Median Outlier
929	MONFISPOL Grant no.: DeliverableDevelopment of the combined approach for assessing identification in the prior space of model parameters. Software prototype Joint Research Centre, European Commission Add to Reading List Source URL: www.monfispol.eu Language: English - Date: 2011-04-20 14:05:39 Estimation theory Statistical theory Identifiability Econometrics Statistical models
930	5 th AGILE Conference on Geographic Information Science, Palma (Mallorca, Spain) April 25th-27 thA Structural Approach to Model Generalisation of an Urban Street Network B. Jiang (1) and C. Claramunt (2) Division Add to Reading List Source URL: fromto.hig.se Language: English - Date: 2003-01-29 04:29:41 Graph theory Graph connectivity Connectivity Line graph Graph Minimum spanning tree Bridge Connected component Vertex Ear decomposition Directed graph Clustering coefficient

UPDATE